Skip to content

chore: shorten workflow name#44

Merged
SnakeDoc merged 1 commit intomainfrom
chore/rename-workflow
Feb 6, 2026
Merged

chore: shorten workflow name#44
SnakeDoc merged 1 commit intomainfrom
chore/rename-workflow

Conversation

@SnakeDoc
Copy link
Contributor

@SnakeDoc SnakeDoc commented Feb 6, 2026

it was too long...

@SnakeDoc SnakeDoc merged commit 23c1715 into main Feb 6, 2026
2 checks passed
@SnakeDoc SnakeDoc deleted the chore/rename-workflow branch February 6, 2026 04:04
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant